|
In mathematics, the Weierstrass preparation theorem is a tool for dealing with analytic functions of several complex variables, at a given point P. It states that such a function is, up to multiplication by a function not zero at P, a polynomial in one fixed variable ''z'', which is monic, and whose coefficients are analytic functions in the remaining variables and zero at P. There are also a number of variants of the theorem, that extend the idea of factorization in some ring R as ''u''·''w'', where ''u'' is a unit and ''w'' is some sort of distinguished Weierstrass polynomial. C.L. Siegel has disputed the attribution of the theorem to Weierstrass, saying that it occurred under the current name in some of late nineteenth century ''Traités d'analyse'' without justification. For one variable, the local form of an analytic function ''f''(''z'') near 0 is ''z''''k''''h''(''z'') where ''h''(0) is not 0, and ''k'' is the order of zero of ''f'' at 0. This is the result the preparation theorem generalises. We pick out one variable ''z'', which we may assume is first, and write our complex variables as (''z'', ''z''2, ..., ''zn''). A Weierstrass polynomial ''W''(''z'') is :''zk'' + ''g''''k''−1''z''''k''−1 + ... + ''g''0 where ''g''''i''(''z''2, ..., ''zn'') is analytic and ''g''''i''(0, ..., 0) = 0. Then the theorem states that for analytic functions ''f'', if :''f''(0, ...,0) = 0, and :''f''(''z'', ''z''2, ..., ''zn'') as a power series has some term only involving ''z'', we can write (locally near (0, ..., 0)) :''f''(''z'', ''z''2, ..., ''zn'') = ''W''(''z'')''h''(''z'', ''z''2, ..., ''zn'') with ''h'' analytic and ''h''(0, ..., 0) not 0, and ''W ''a Weierstrass polynomial. This has the immediate consequence that the set of zeros of ''f'', near (0, ..., 0), can be found by fixing any small values of ''z''2, ..., ''zn'' and then solving the equation ''W(z)=0''. The corresponding values of ''z'' form a number of continuously-varying ''branches'', in number equal to the degree of ''W'' in ''z''. In particular ''f'' cannot have an isolated zero. A related result is the Weierstrass division theorem, which states that if ''f'' and ''g'' are analytic functions, and ''g'' is a Weierstrass polynomial of degree ''N'', then there exists a unique pair ''h'' and ''j'' such that ''f'' = ''gh'' + ''j'', where ''j'' is a polynomial of degree less than ''N''. There is a deeper preparation theorem for smooth functions, due to Bernard Malgrange, called the Malgrange preparation theorem. It also has an associated division theorem, named after John Mather. ==p-adic analogue== There is an analogous result, also referred to as the Weierstrass preparation theorem, for power series rings over the ring of integers in a p-adic field; namely, a power series ''f''(''z'') can always be uniquely factored as π''n''·''u''(''z'')·''p''(''z''), where ''u''(''z'') is a unit in the ring of power series, ''p''(''z'') is a distinguished polynomial (monic, with the coefficients of the non-leading terms each in the maximal ideal), and π is a fixed uniformizer. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Weierstrass preparation theorem」の詳細全文を読む スポンサード リンク
|